Modeling Web Systems Using SDL
نویسندگان
چکیده
We propose modeling the architecture of web systems using the Specification and Description Language (SDL), which is a formal language. SDL is shown to be quite convenient for modeling features of web systems such as hyperlinks, sending and receiving data, and client-server communication. Hence, it facilitates our understanding of web applications. Further, we describe how to test web systems, based on the SDL model, in order to ensure that the implementation conforms to the specification.
منابع مشابه
Co-Modeling of Embedded Networks Using SystemC and SDL
Today, SDL and SystemC are two very popular languages for embedded systems modeling. SDL has specific advanced features that make it good for reflection of the multi-object systems and interactions between modules. It is also good for system model validation. The SystemC models are better suitable for tracing internal functions of the modeled modules. The hypothetical possibility of combined us...
متن کاملResults in Using the New Version of the SDL-UML Profile
In the last two decades the Specification and Description Language (SDL) has been established in the telecommunication sector as a domainspecific modeling language. A disadvantage of SDL is the fact that only a small number of modeling tools for SDL is available. Another graphical modeling language is the Unified Modeling Language (UML) used for the model-based development of software systems. ...
متن کاملModeling, Verifying and Testing Mobility Protocol from SDL Language
This paper deals with mobility protocols specification, validation and testing using a formal approach. A well suited SDL model is proposed to handle the component-based nature of Mobile systems. Two solutions are proposed to derive automatically TTCN-3 test cases from the SDL model.
متن کاملFuzzy-neuro risk assessment of distributed real-time systems through formal and object-oriented systems modelling
The purpose of this paper is to advocate and encourage the application of fuzzy-neuro algorithms in the risk assessment of Distributed Real-Time (DRT) systems, where object-oriented and formal techniques by means of UML-SDL models are used as knowledge (data) providers to the fuzzy-neuro analyser. The paper includes an introductory description of DRT systems and the presentation of the UML and ...
متن کاملGraphical Programming Using UML and SDL
S ince its introduction a few years ago, the Unified Modeling Language (UML) has captured industrywide attention for its role as a general-purpose language for modeling software systems. Although it does a good job in the early phases of the development process, UML does leave some things to be desired in the systems design and implementation phases because it is lacking in structural and behav...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003